Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
511	A COMPUTATIONAL LEARNING SEMANTICS FOR INDUCTIVE EMPIRICAL KNOWLEDGE KEVIN T. KELLY Abstract. This paper presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a lear Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2015-02-22 15:09:02 Model theory Deduction Interpretation Philosophy of mind Entailment Modal logic Substitution Universal property Linear temporal logic Logic Propositional calculus Philosophical logic
512	Theory and Applications of Categories, Vol. 28, No. 27, 2013, pp. 933–980. A DOUBLE CATEGORICAL MODEL OF WEAK 2-CATEGORIES SIMONA PAOLI, DORETTE PRONK Abstract. We introduce the notion of weakly globular double catego Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-10-06 12:55:00 Functors Homotopy theory Natural transformation Functor category 2-category Functor Equivalence of categories Adjoint functors Simplicial set Category theory Abstract algebra Higher category theory
513	Robust Classification of Multivariate Time Series by Imprecise Hidden Markov ModelsI Alessandro Antonucci1,∗, Rocco de Rosa2 , Alessandro Giusti1 , Fabio Cuzzolin3 Abstract A novel technique to classify time series wit Add to Reading List Source URL: ipg.idsia.ch Language: English - Date: 2014-11-19 11:12:13 Bayesian inference Credal set Markov processes Estimation theory Hidden Markov model Markov chain Expectation–maximization algorithm Imprecise probability Naive Bayes classifier Statistics Markov models Bayesian statistics
514	Using Control Theory to Make Cancer Chemotherapy Bene¯cial from Phase Dependence and Resistant to Drug Resistance Marek Kimmel&+ and Andrzej Swierniak¤+^ November 14, 2003 Abstract Add to Reading List Source URL: mbi.osu.edu Language: English - Date: 2012-04-24 11:08:15 Cellular processes Cell cycle Mathematical modeling Multi-compartment model Systems theory Cell growth Chemotherapy Leukemia T helper cell Biology Cell biology Medicine
515	Theory and Applications of Categories, Vol. 28, No. 10, 2013, pp. 250–268. DIAGONAL MODEL STRUCTURES J.F. JARDINE Abstract. The category of bisimplicial presheaves carries a model structure for which the weak equivale Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-05-16 12:56:00 Mathematics Category theory Algebraic topology Adjoint functors Model category Functors Simplicial set Quillen adjunction Weak equivalence Abstract algebra Homotopy theory Topology
516	Homotopy Batalin-Vilkovisky algebras Homotopy Batalin-Vilkovisky algebras Bruno VALLETTE (Universit´ Add to Reading List Source URL: math.unice.fr Language: English - Date: 2009-11-29 06:17:30 Category theory Algebras Homological algebra Model category Operad theory Homotopy Batalin–Vilkovisky formalism Weak equivalence Associative algebra Abstract algebra Topology Homotopy theory
517	UNIVERSAL ALGEBRA Jaroslav Jeˇzek First edition, April 2008 Contents Add to Reading List Source URL: www.karlin.mff.cuni.cz Language: English - Date: 2011-06-16 11:15:48 Algebraic structures Lattice theory Boolean algebra Predicate logic Abstract algebra Universal algebra Distributive lattice Model theory Representation theory Mathematics Mathematical logic Logic
518	Theory and Applications of Categories, Vol. 29, No. 29, 2014, pp. 836–873. BICATEGORICAL FIBRATION STRUCTURES AND STACKS DORETTE A. PRONK AND MICHAEL A. WARREN Abstract. In this paper we introduce two notions —syste Add to Reading List Source URL: www.emis.de Language: English - Date: 2014-12-08 12:40:00 Topology Higher category theory Adjoint functors Model category Bicategory Functors Equivalence of categories Weak equivalence Fibrant object Homotopy theory Abstract algebra Category theory
519	Eliminating Fuzzy Duplicates in Data Warehouses Rohit Ananthakrishna1 Cornell University [removed] Abstract Add to Reading List Source URL: www.vldb.org Language: English - Date: 2006-07-29 02:04:11 Relational model Data modeling Mathematical notation Tuple Type theory Relational database Relation Finitary relation Integrity constraints Data management Mathematics Data
520	Explaining the Size Distribution of Cities: X-treme Economies Marcus Berliantyand Hiroki Watanabez January[removed]Abstract Add to Reading List Source URL: qeconomics.org Language: English - Date: 2014-11-24 16:20:37 Consumer theory Demand Supply and demand Insurance Economic model JT Unemployment Labour economics Commodity Economics Financial institutions Institutional investors

UPDATE